There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...) this paper, I explore the limits of what a relevant connective is, showing how some basic criteria motivated by the ideology of relevant logicians provide robust limits on potential connectives. These criteria provide some plausible necessary conditions on being a relevant connective. (shrink)

Disagreement is common: even informed, intelligent, and generally reasonable people often come to different conclusions when confronted with what seems to be the same evidence. Can the competing conclusions be reasonable? If not, what can we reasonably think about the situation? This volume examines the epistemology of disagreement. Philosophical questions about disagreement arise in various areas, notably politics, ethics, aesthetics, and the philosophy of religion: but this will be the first book focusing on the general epistemic issues arising from informed (...) disagreement. Ten leading philosophers offer specially written essays which together will offer a starting-point for future work on this topic. (shrink)

Various theorists have endorsed the “communication argument”: communicative capacities are necessary for morally responsible agency because blame aims at a distinctive kind of moral communication. I contend that existing versions of the argument, including those defended by Gary Watson and Coleen Macnamara, face a pluralist challenge: they do not seem to sit well with the plausible view that blame has multiple aims. I then examine three possible rejoinders to the challenge, suggesting that a context-specific, function-based approach constitutes the most promising (...) modification of the communication argument. (shrink)

It is widely agreed that reactive attitudes play a central role in our practices concerned with holding people responsible. However, it remains controversial which emotional attitudes count as reactive attitudes such that they are eligible for this central role. Specifically, though theorists near universally agree that guilt is a reactive attitude, they are much more hesitant on whether to also include shame. This paper presents novel arguments for the view that shame is a reactive attitude. The arguments also support the (...) view that shame is a reactive attitude in the sense that concerns moral accountability. The discussion thereby challenges both the view that shame is not a reactive attitude at all, suggested by philosophers such as R. Jay Wallace and Stephen Darwall, and the view that shame is a reactive attitude but does not concern moral accountability, recently defended by Andreas Carlsson and Douglas Portmore. (shrink)

In classically based modal logic, there are three common conceptions of necessity, the universal conception, the equivalence relation conception, and the axiomatic conception. They provide distinct presentations of the modal logic S5, all of which coincide in the basic modal language. We explore these different conceptions in the context of the relevant logic R, demonstrating where they come apart. This reveals that there are many options for being an S5-ish extension of R. It further reveals a divide between the universal (...) conception of necessity on the one hand, and the axiomatic conception on the other: The latter is consistent with motivations for relevant logics while the former is not. For the committed relevant logician, necessity cannot be the truth in all possible worlds. (shrink)

In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results.

This article examines how facial recognition technology reshapes the philosophical debate over the ethics of video surveillance. When video surveillance is augmented with facial recognition, the data collected is no longer anonymous, and the data can be aggregated to produce detailed psychological profiles. I argue that – as this non-anonymous data of people’s mundane activities is collected – unjust risks of harm are imposed upon individuals. In addition, this technology can be used to catalogue all who publicly participate in political, (...) religious, and socially stigmatised activities, and I argue that this would undermine central interests of liberal democracies. I examine the degree to which the interests of individuals and the societal interests of liberal democracies to maintain people’s obscurity while in public coincide with privacy interests, as popularly understood, and conclude that there is a practical need to articulate a novel right to obscurity to protect the interests of liberal democratic societies. (shrink)

Environmental philosophy plays an important role, directly and indirectly, in many parts of society, including land and wildlife management (Leopold, 1949; Minteer, 2015), political activism (Abbey, 1968; Malm, 2020),and technological research and development (Baum & Owe, 2022; Donhauser et al., 2021). Environmental philosophy uncovers the ethical relationships existing between humans and the living and non-living world. It reveals the nuances of our scientific ecological concepts. And it tries to tell us how we might act – individually or collectively – to (...) better achieve our environmental goals. The aim of this special issue is to explore the limits and ever-expanding outer edges of this increasingly important area of philosophical thought. (shrink)

In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.

The operational semantics of Urquhart is a deep and important part of the development of relevant logics. In this paper, I present an overview of work on Urquhart’s operational semantics. I then present the basics of collection frames. Finally, I show how one kind of collection frame, namely, functional set frames, is equivalent to Urquhart’s semilattice semantics.

Recent scientific approaches to aesthetics include evolutionary theories about the origin of art behavior, psychological investigations into human aesthetic experience and preferences, and neurophysiological explorations of the mechanisms underlying art experience. Critics of these approaches argue that they are ultimately irrelevant to a philosophical aesthetics because they cannot help us understand the distinctive conceptual basis and normativity of our art experience. This criticism may seem plausible given the piecemeal nature of these scientific approaches, but a more comprehensive naturalistic framework can (...) help us understand the conceptual basis and normativity of art. In particular, the ecology of art, an understanding of how individuals interact within particular environments, can help us understand the engineered art niches in which we create and experience art. Each niche is associated with a particular deme, or set of individuals that interact within that niche, and a set of cognitive, epistemic, and pedagogical technologies that form the conceptual basis of a niche-dependent normativity. This is to be contrasted with the niche-independent normativity revealed by many of the scientific approaches. This framework, and the conflicting streams of normativity it reveals, allows us to better understand conflicts in normativity and the implausibility of unequivocal and universal normative principles. (shrink)

Relevant logics are a family of non-classical logics characterized by the behavior of their implication connectives. Unlike some other non-classical logics, such as intuitionistic logic, there are multiple philosophical views motivating relevant logics. Further, different views seem to motivate different logics. In this article, we survey five major views motivating the adoption of relevant logics: Use Criterion, sufficiency, meaning containment, theory construction, and truthmaking. We highlight the philosophical differences as well as the different logics they support. We end with some (...) questions for future research. (shrink)

An important question for proponents of non-contractive approaches to paradox is why contraction fails. Zardini offers an answer, namely that paradoxical sentences exhibit a kind of instability. I elaborate this idea using revision theory, and I argue that while instability does motivate failures of contraction, it equally motivates failure of many principles that non-contractive theorists want to maintain.

It is proposed that our memory is made up of individual, unconnected Records, to each of which is attached a Heading. Retrieval of a Record can only be accomplished by addressing the attached Heading, the contents of which cannot itself be retrieved. Each Heading is made up of a mixture of content in more or less literal form and context, the latter including specification of environment and of internal states (e.g. drug states and mood). This view of memory allows an (...) easy account of a number of natural memory phenomena as well as a variety of laboratory findings such as the differences between recall and recognition. The theory further proposes that Headed Records can neither be deleted nor modified. Data apparently against such a hypothesis can be accounted for in terms of the retrieval process. (shrink)

Few debates in environmental philosophy have been more heated than the one over the nature of wilderness. And yet, when one surveys the present scene, one finds that a variety of different conceptions of wilderness are still quite popular – some more so in certain professions than others. In this paper, I look at three popular conceptions of wilderness with an eye toward sussing out the good and the bad them. I look at what I call (1) the folk view (...) of wilderness, (2) Leopold’s conception of wilderness, and (3) the legal conception of wilderness (as found in the Wilderness Act of 1964). In the final part of the paper, I sketch out a sort of spectrum account of wilderness, one that I argue allows us to capture more cases of wilderness and might serve as a useful tool in future conservation efforts. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present two criticisms of this theory, one concerning its assessments of validity and one concerning its treatment of truth-preservation claims. One way of adjusting the theory adequately responds to the truth-preservation criticism, at the cost of making the validity criticism worse. I show that in a restricted setting, Field has a way to respond to the validity criticism. I (...) close with some general considerations on the use of revision-theoretic methods in theories of truth. (shrink)

This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven. -/- .

Most models of generational succession in sexually reproducing populations necessarily move back and forth between genic and genotypic spaces. We show that transitions between and within these spaces are usually hidden by unstated assumptions about processes in these spaces. We also examine a widely endorsed claim regarding the mathematical equivalence of kin-, group-, individual-, and allelic-selection models made by Lee Dugatkin and Kern Reeve. We show that the claimed mathematical equivalence of the models does not hold. *Received January 2007; revised (...) April 2008. †To contact the authors, please write to: Elisabeth Lloyd, Department of History and Philosophy of Science, 130 Goodbody Hall, Indiana University, Bloomington, IN 47405; e-mail: [email protected]; Richard Lewontin, Department of Organismic and Evolutionary Biology, Harvard University, 26 Oxford Street, Cambridge, MA 02138; Marcus Feldman, Department of Biological Sciences, Stanford University, Stanford, CA 94305; e-mail: [email protected]. (shrink)

A common refrain in and outside academia is that prominent sports figures ought to engage more in the public discourse about political issues. This idea parallels the idea that athletes ought to be role models in general. This paper first examines and critiques the “athlete as role model” argument and then applies this critique to the “athlete as political activist” argument. Appealing to the empirical political psychological literature, the paper sketches an argument that athlete activism might actually do more harm (...) than good. (shrink)

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and complete for (...) the basic positive distributive substructural logic $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$ (the relevant logic $\mathsf {R}^+$, without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question. (shrink)

In this paper, I examine the ethics of nonviolent protest when a violent response is either foreseen or intended. One central concern is whether protesters, who foresee a violent response but persist, are provoking the violence and whether they are culpable for any eventual harms. A second concern is whether it is permissible to publicize the violent response for political advantage. I begin by distinguishing between two senses of the term provoke: a normative sense where a provocateur knowingly imposes an (...) unjustified risk of a violent response, and a descriptive sense where the respondent feels provoked. I argue that, when the risk of a violent response is justified, the protesters are not provocateurs but akin to nonculpable, entrapping agents who create an opportunity for the regime to respond with disproportionate violence. The regime’s response can disclose its brutality or criminality and this can be fairly publicized for political advantage. When nonviolent protesters create an unjustified risk of violence either because the injustice they oppose is insufficient to justify the risk of a violent response or because the risked harms are disproportionate with the likely political advantages derived from the protest, they are partially culpable provocateurs. However, I argue these partially culpable provocateurs can still permissibly publicize the disproportionate violence of the regime so as to shape public opinion. (shrink)

When asked which of our concepts are normative concepts, metaethicists would be quick to list such concepts as GOOD, OUGHT, and REASON. When asked why such concepts belong on the list, metaethicists would be much slower to respond. Matti Eklund is a notable exception. In his recent book, Choosing Normative Concepts, Eklund argues by elimination for “the Normative Role view” that normative concepts are normative in virtue of having a “normative role” or being “used normatively”. One view that Eklund aims (...) to eliminate is “the Metaphysical view” that normative concepts are normative in virtue of referring to normative properties. In addition to arguing that Eklund’s objection looks doubtful by its own lights, we argue that there are several plausible versions of the Metaphysical view that Eklund doesn’t eliminate, defending various claims about normative concepts and their relationships to deliberation, competence, reference, and possession along the way. (shrink)

Aworkshop was held August 26–28, 2015, by the Earth- Life Science Institute (ELSI) Origins Network (EON, see Appendix I) at the Tokyo Institute of Technology. This meeting gathered a diverse group of around 40 scholars researching the origins of life (OoL) from various perspectives with the intent to find common ground, identify key questions and investigations for progress, and guide EON by suggesting a roadmap of activities. Specific challenges that the attendees were encouraged to address included the following: What key (...) questions, ideas, and investigations should the OoL research community address in the near and long term? How can this community better organize itself and prioritize its efforts? What roles can particular subfields play, and what can ELSI and EON do to facilitate research progress? (See also Appendix II.) The present document is a product of that workshop; a white paper that serves as a record of the discussion that took place and a guide and stimulus to the solution of the most urgent and important issues in the study of the OoL. This paper is not intended to be comprehensive or a balanced representation of the opinions of the entire OoL research community. It is intended to present a number of important position statements that contain many aspirational goals and suggestions as to how progress can be made in understanding the OoL. The key role played in the field by current societies and recurring meetings over the past many decades is fully acknowledged, including the International Society for the Study of the Origin of Life (ISSOL) and its official journal Origins of Life and Evolution of Biospheres, as well as the International Society for Artificial Life (ISAL). (shrink)

The goal of this paper is to develop a systematic taxonomy of cognitive artifacts, i.e., human-made, physical objects that functionally contribute to performing a cognitive task. First, I identify the target domain by conceptualizing the category of cognitive artifacts as a functional kind: a kind of artifact that is defined purely by its function. Next, on the basis of their informational properties, I develop a set of related subcategories in which cognitive artifacts with similar properties can be grouped. In this (...) taxonomy, I distinguish between three taxa, those of family, genus, and species. The family includes all cognitive artifacts without further specifying their informational properties. Two genera are then distinguished: representational and non-representational (or ecological) cognitive artifacts. These genera are further divided into species. In case of representational artifacts, these species are iconic, indexical, or symbolic. In case of ecological artifacts, these species are spatial or structural. Within species, token artifacts are identified. The proposed taxonomy is an important first step towards a better understanding of the range and variety of cognitive artifacts and is a helpful point of departure, both for conceptualizing how different artifacts augment or impair cognitive performance and how they transform and are integrated into our cognitive system and practices. (shrink)

The physical basis of conscious experience is revealed by direct observation and analysis of any conscious experience. Human conscious experience has an invariant structural mode of organization based on the three types of space-time intervals (light-like, time-like, space-like). Sensory input activates the autonomic nervous system, endocrine system, and ascending reticular activating system to produce the awake conscious state. The dorsal and ventral frontoparietal attention networks are activated. Dorsal and ventral cortical functional streams carry “what”, “where”, and “when” information to the (...) medial temporal lobe for the encoding, storage, and recall of conscious experience (episodic memory). Hippocampal place cells and time cells encode events in space and time within spatiotemporal contexts conveyed by entorhinal cortex grid cells and ramping cells. Theta phase precession unifies the encoding of space and time in the hippocampus so that segments of space and time are encoded in the hippocampus. Theta travelling waves ensure that the instantaneous output of the hippocampus consists of topographically-organized segments of space and time, space-time intervals. By parsing spatiotemporal contexts into quantal units of where and when events occur (spacetime intervals), hippocampal neurons bridge, and thereby organize events, in a conceptual organization of events (conscious experience). Space-time intervals are extracted from the hippocampus by a prefrontal cortex-basal ganglia-thalamic-prefrontal cortex loop for the cognitive, affective, and motivational aspects of conscious experience. (shrink)

In a recent publication in this journal, Asle Kiran and Peter-Paul Verbeek (hereafter K&V) argue that extension theory and the notion of trust it implies are flawed. In this commentary, I defend extension theory against their critique. I first briefly introduce extension theory, then reconstruct K&V’s five arguments against extension theory and demonstrate that four of their five arguments are misplaced.

This paper argues that a popular account of intentions can be extended to beliefs. Beliefs are stable all-out states that allow for planning and coordination in a way that is tractable for cognitively limited creatures like human beings. Scepticism is expressed that there is really anything like credences as standardly understood.

Efforts by governments, firms, and patients to deliver pioneering drugs for critical health needs face a challenge of diminishing efficiency in developing those medicines. While multi-sectoral collaborations involving firms, researchers, patients, and policymakers are widely recognized as crucial for countering this decline, existing incentives to engage in drug development predominantly target drug manufacturers and thereby do little to stimulate collaborative innovation. In this mini review, we consider the unexplored potential within pharmaceutical regulations to create novel incentives to encourage a diverse (...) set of actors from the public and private spheres to engage in the kind of collaborative knowledge exchange requisite for fostering enhanced innovation in early drug development. (shrink)

In this paper I argue that a priori arguments fail to present any real problem for physicalism. They beg the question against physicalism in the sense that the argument will only seem compelling if one is already assuming that qualitative properties are nonphysical. To show this I will present the reverse-zombie and reverse-knowledge arguments. The only evidence against physicalism is a priori arguments, but there are also a priori arguments against dualism of exactly the same variety. Each of these parity (...) arguments has premises that are just as intuitively plausible, and it cannot be the case that both the traditional scenarios and the reverse-scenarios are all ideally conceivable. Given this one set must be merely prima facie conceivable and only empirical methods will tell us which is which. So, by the time a priori methodology will be of any use it will be too late. (shrink)

This paper examines Gandhian philosophy and practice to reinterpret UNESCO's educational vision towards establishing stable and sustainable knowledge societies. The uniqueness of the Gandhian perspective is its ability to withstand the dominant political, philosophical and religious challenges with its contextually rooted, spiritually oriented, socially responsible and human person centred reinterpretations. UNESCO’s educational vision-Learning: The Treasure Within published in 1996 is a catalyst in establishing stable and sustainable knowledge societies. Consistent changes and challenges in knowledge societies necessitates the reinterpretation of this (...) educational vision. The four pillars of learning in this educational vision are analysed together with four aspects of Gandhian philosophy and practice: ‘learning to know’ and Nai Talim, ‘learning to do’ and ashrams, ‘learning to live together’ and constructive programme and ‘learning to be’ and swaraj. The paper discusses this confluence of the UNESCO’s theoretical approach of four pillars of education with Gandhian pragmatic philosophy and practice to offer a contextually rooted and future-oriented outlook for reinterpreting the educational vision for establishing stable and sustainable knowledge societies. (shrink)

This paper analyses the phenomenology and epistemology of chatbots such as ChatGPT and Bard. The computational architecture underpinning these chatbots are large language models (LLMs), which are generative artificial intelligence (AI) systems trained on a massive dataset of text extracted from the Web. We conceptualise these LLMs as multifunctional computational cognitive artifacts, used for various cognitive tasks such as translating, summarizing, answering questions, information-seeking, and much more. Phenomenologically, LLMs can be experienced as a “quasi-other”; when that happens, users anthropomorphise them. (...) For most users, current LLMs are black boxes, i.e., for the most part, they lack data transparency and algorithmic transparency. They can, however, be phenomenologically and informationally transparent, in which case there is an interactional flow. Anthropomorphising and interactional flow can, in some users, create an attitude of (unwarranted) trust towards the output LLMs generate. We conclude this paper by drawing on the epistemology of trust and testimony to examine the epistemic implications of these dimensions. Whilst LLMs generally generate accurate responses, we observe two epistemic pitfalls. Ideally, users should be able to match the level of trust that they place in LLMs to the degree that LLMs are trustworthy. However, both their data and algorithmic opacity and their phenomenological and informational transparency can make it difficult for users to calibrate their trust correctly. The effects of these limitations are twofold: users may adopt unwarranted attitudes of trust towards the outputs of LLMs (which is particularly problematic when LLMs hallucinate), and the trustworthiness of LLMs may be undermined. (shrink)

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: From ¬(p (...) ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

What are the possible varieties of cognition-artifact relations, and which dimensions are relevant for exploring these varieties? This question is answered in two steps. First, three levels of functional and informational integration between human agent and cognitive artifact are distinguished. These levels are based on the degree of interactivity and direction of information flow, and range from monocausal and bicausal relations to continuous reciprocal causation. In these levels there is a hierarchy of integrative processes in which there is an increasing (...) degree of hybridization. Therefore, from a functional and informational level of abstraction, it becomes increasingly difficult to distinguish between agent and artifact in this hierarchy. Second, a multidimensional matrix for exploring cognition-artifact relations is sketched. The dimensions in the matrix include reliability, durability, trust, procedural and representational transparency, individualization, bandwidth, speed of information flow, distribution of computation, and cognitive and artifactual transformation. Together, these dimensions constitute a multidimensional space in which particular cognition-artifact relations can be located. The higher a particular cognition-artifact relation scores on these dimensions, the more integration and hybridization occurs, and the more tightly coupled the overall system is. It is then better, for explanatory reasons, to see agent and artifact as one cognitive system with a distributed informational architecture. (shrink)

This work is the transcript of a theological dialogue I had with ChatGPT that spanned a couple of days. I began it merely out of curiosity over how ChatGPT might respond to questions and challenges I posed. As it progressed, I became increasingly impressed with the nuance, depth, and relevance of its responses. The dialogue became, for me, something of a contemplative exercise. I still don’t know quite how to understand the ability of generative A.I. to respond with such (apparent) (...) understanding and even insight. -/- I’ve decided to post this dialogue, not only because of the puzzle it poses concerning A.I, but even more, because I believe that the theological conclusions ‘we’ arrived at have real merit. -/- In the end, the theological views expressed here echo those that I’ve expressed in other works of mine, but the expression of these views are enhanced by the way ChatGPT picks up on them, rephrases them, elaborates upon them, and often places them in the context of the classical theological tradition. -/- I might add that I have been an A.I. skeptic for some time now, concerned over the potential dangers of A.I. in general. But this dialogue, anyway, reveals its potential use as a vehicle for reflection, even profound reflection. -/- . (shrink)

This paper considers a now familiar argument that the ubiquity of context -dependence threatens the project of natural language semantics, at least as that project has usually been conceived: as concerning itself with `what is said' by an utterance of a given sentence. I argue in response that the `anti-semantic' argument equivocates at a crucial point and, therefore, that we need not choose between semantic minimalism, truth-conditional pragmatism, and the like. Rather, we must abandon the idea, familiar from Kaplan and (...) others, that utterances express propositions `relative to contexts' and replace it with the Strawonian idea that speakers express propositions by making utterances in contexts. The argument for this claim consists in a detailed investigation of the particular case of demonstratives, which I argue demand such a Strawsonian treatment. I then respond to several objections, the most important of which allege that the Strawsonian account somehow undermines the project of natural language semantics, or threatens the semantics -pragmatics distinction. Please note that the paper posted here is an extended version of what was published. (shrink)

It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, say, (...) Delta-3-1 comprehension axioms are not logical truths. What I am going to suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic". (shrink)

In this brief article I argue that liberalism is the political form most consistent with theism.

Philosophers have been talking about brain states for almost 50 years and as of yet no one has articulated a theoretical account of what one is. In fact this issue has received almost no attention and cognitive scientists still use meaningless phrases like 'C-fiber firing' and 'neuronal activity' when theorizing about the relation of the mind to the brain. To date when theorists do discuss brain states they usually do so in the context of making some other argument with the (...) result being that any discussion of what brain states are has a distinct en passant flavor. In light of this it is a goal of mine to make brain states the center of attention by providing some general discussion of them. I briefly look at the argument of Bechtel and Mundale, as I think that they expose a common misconception philosophers had about brain states early on. I then turn to briefly examining Polger's argument, as I think he offers an intuitive account of what we expect brain states to be as well as a convincing argument against a common candidate for knowledge about brain states that is currently "on the scene." I then introduce a distinction between brain states and states of the brain: Particular brain states occur against background states of the brain. I argue that brain states are patterns of synchronous neural firing, which reflects the electrical face of the brain; states of the brain are the gating and modulating of neural activity and reflect the chemical face of the brain. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

Memories of our personal past are the building blocks of our narrative identity. So, when we depend on objects and other people to remember and construct our personal past, our narrative identity is distributed across our embodied brains and an ecology of environmental resources. This paper uses a cognitive niche construction approach to conceptualise how we engineer our memory ecology and construct our distributed narrative identities. It does so by identifying three types of niche construction processes that govern how we (...) interact with our memory ecology, namely creating, editing, and using resources in our memory ecology. It also conceptualises how identity-relevant information in objects and (family) stories is transmitted vertically, i.e., across different generations of people. Identifying these processes allows us to better understand the cultural information trajectories that constitute our memory ecologies. Thus, what I’ll argue is that our memory ecology distributes our narrative identity and that engineering our memory ecology is a form of narrative niche construction. (shrink)

Contemporary discussion of biological teleology has been dominated by a complacent orthodoxy. Responsibility for this shortcoming rests primarily, I think, with those who ought to have been challenging dogma but have remained silent, leaving the orthodox to grow soft, if happily. In this silence, champions of orthodoxy have declared a signal victory, proclaiming the dominance of their view as one of philosophy’s historic successes. But this declaration is premature at best—this would be neither the first nor probably the last time (...) that a narrow school of philosophy has declared the resolution of age-old problems only to have those problems rise from the ashes of their better selves when a broader view is articulated. I propose to challenge orthodoxy by undermining its fundamental assumption and to enlist the help of others in articulating a formidable heterodox alternative to contemporary dogma concerning biological teleology, perhaps on the model I sketch below. (shrink)

Emotional states of consciousness, or what are typically called emotional feelings, are traditionally viewed as being innately programed in subcortical areas of the brain, and are often treated as different from cognitive states of consciousness, such as those related to the perception of external stimuli. We argue that conscious experiences, regardless of their content, arise from one system in the brain. On this view, what differs in emotional and non-emotional states is the kind of inputs that are processed by a (...) general cortical network of cognition, a network essential for conscious experiences. Although subcortical circuits are not directly responsible for conscious feelings, they provide non-conscious inputs that coalesce with other kinds of neural signals in the cognitive assembly of conscious emotional experiences. In building the case for this proposal, we defend a modified version of what is known as the higher-order theory of consciousness. (shrink)

This is the second part of my theological dialogue with ChatGPT on the meaning of God. We explore the nature of God's agency, will, goodness, the problem of evil and suffering, the meaning of sin, and the meaning and nature of the redemptive act of Christ.

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

The concept of ‘Ethnicity’ still enjoys some currency in the historical and social science literature. However, the cogency of the idea remains disputed. First coming to prominence in the 1980s, the word is often used to depict the character of social relations in the context of conflicts over sovereignty. The case of Northern Ireland presents a paradigmatic example. This article is a rejoinder to Ian McBride’s contention that my scepticism about the notion lacks justification. With reference to disputes over the (...) state, I show in response that ‘ethnicity’ in effect means nationality. I further claim that the nation state is a successor to the dynastic state. In clarifying the meaning of this arrangement, the article brings out how the nation is a juridical rather than empirical category. More specifically, it derives from the notion of corporate personality in law. For this reason, its retrospective integrity is a matter of fabrication, depending on the fiction of ancestral continuity. At the same time, its future-oriented cohesiveness means that it must be invested with a unifying will. I conclude that the legitimacy of a nation state rests on its democratic will, whose coherence is expressed in the action of its government. (shrink)